Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
281	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
282	BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English Theoretical computer science Bigraph Logic in computer science Programming language semantics Mathematical logic Operational semantics ALGOL 68 Structure Actor model Modal logic
283	Theory of Change, Logic Model, and Performance Measurement Session Outline • Theory of Change • Logic Model Add to Reading List Source URL: www.volunteerwv.org Language: English - Date: 2016-03-07 11:09:30 Bariatrics Obesity Body shape Social change Theory of change Logic model Childhood obesity Theory
284	Preliminaries Frame Level Model Level A Modal Logic for Abstract Delta Modeling Frank de Boer Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:35 Modal logic Non-classical logic Philosophical logic Conceptual model Metaphor Simulation Normal modal logic Delta
285	Structures Cell Decomposition Dimension and Euler Characteristic Definable Families and Collections Adding more Structure Tame Topology and O-Minimal Structures University of Illinois Urbana-Champaign Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2013-06-17 14:33:02 Model theory Algebraic topology Real algebraic geometry Mathematical structures Mathematical logic O-minimal theory Euler characteristic Definable set CW complex Topology Structure Semialgebraic set
286	Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:06 Semantic Web Model theory Information science Technical communication Knowledge representation Ontology Module Structure Web Ontology Language Elementary class Determinacy
287	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
288	Energise London Monitoring and Evaluation Toolkit Add to Reading List Source URL: www.lsx.org.uk Language: English - Date: 2014-07-15 11:19:47 Impact assessment Evaluation methods Impact evaluation Observational study Philosophy of science Evaluation Logic model Recommender system Social return on investment Citizen science Program evaluation
289	Individuals, Universals, Collections: On the Foundational Relations of Ontology Thomas BITTNER1 , Maureen DONNELLY1 , and Barry SMITH1,2 1 Institute for Formal Ontology and Medical Information Science (IFOMIS), Saarland Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-08-12 11:36:24 Predicate logic Quantification Ontology Logic First-order logic Model theory Problem of universals Universal quantification Universal Net Quantifier
290	Knowledge Graph Identification Jay Pujara1 , Hui Miao1 , Lise Getoor1 , and William Cohen2 1 Dept of Computer Science, University of Maryland, College Park, MD 20742 {jay,hui,getoor}@cs.umd.edu Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-09-12 16:44:11 Knowledge representation Semantic Web Ontology Resource Description Framework Abstraction Probabilistic soft logic Data model Category of being Inference Logic form Graph Web Ontology Language

UPDATE